| Home :: Operating Systems :: EROS |
KeyKOS Persistent, pure capability, microkernel OS. EROS's famous p redecessor. http://www.cis.upenn.edu/~KeyKOS/ EROS: A Fast Capability System This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex] http://citeseer.nj.nec.com/shapiro99eros.html Verifying Operating System Security A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [Researc hIndex] http://citeseer.nj.nec.com/shapiro97verifying.html EROS: A Principle-Driven Operating System from the Ground Up Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software] http://computer.org/software/so2002/s1026abs.htm |
